
@incollection{lohmann:2009,
	Author = {Lohmann, Niels and Verbeek, Eric and Dijkman, Remco},
	Booktitle = {{Transactions on Petri Nets and Other Models of Concurrency II}},
	Date-Added = {2011-07-26 15:25:30 +0200},
	Date-Modified = {2012-05-11 08:36:00 +0000},
	Doi = {http://dx.doi.org/10.1007/978-3-642-00899-3_3},
	Isbn = {978-3-642-00898-6},
	Numpages = {18},
	Pages = {46--63},
	Publisher = {Springer},
	Title = {{Petri Net Transformations for Business Processes --- A Survey}},
	Url = {http://dx.doi.org/10.1007/978-3-642-00899-3_3},
	Year = {2009}}




@inproceedings{aalst:1997,
	Address = {London, UK},
	Annote = {soundness},
	Author = {Wil M. P. van der Aalst},
	Booktitle = {ICATPN '97: Proceedings of the 18th International Conference on Application and Theory of Petri Nets},
	Date-Added = {2009-10-28 10:47:55 +0100},
	Date-Modified = {2009-10-28 11:09:56 +0100},
	Isbn = {3-540-63139-9},
	Pages = {407--426},
	Publisher = {Springer-Verlag},
	Title = {{Verification of Workflow Nets}},
	Year = {1997}}


@incollection{wolf:2009,
	Acmid = {1532678},
	Author = {Wolf, Karsten},
	Booktitle = {{Transactions on Petri Nets and Other Models of Concurrency II}},
	Date-Added = {2012-05-11 07:52:57 +0000},
	Date-Modified = {2012-05-11 07:53:44 +0000},
	Doi = {10.1007/978-3-642-00899-3_9},
	Isbn = {978-3-642-00898-6},
	Numpages = {20},
	Pages = {152--171},
	Publisher = {Springer},
	Title = {{Does My Service Have Partners?}},
	Url = {http://dx.doi.org/10.1007/978-3-642-00899-3_9},
	Year = {2009},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-642-00899-3_9}}
	


@inproceedings{herzberg:2012,
	Author = {Nico Herzberg and Matthias Kunze and Andreas Rogge-Solti},
	Booktitle = {ZEUS 2012},
	Date-Added = {2012-05-11 07:57:54 +0000},
	Date-Modified = {2012-05-11 08:31:26 +0000},
	Pages = {96--102},
	Publisher = {CEUR-WS.org},
	Title = {{Towards process evaluation in non-automated process execution environments}},
	Year = {2012}}



@inproceedings{lohmann:2011,
	Author = {Niels Lohmann},
	Booktitle = {Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011},
	Crossref = {DBLP:conf/zeus/2011},
	Date-Added = {2012-05-11 08:08:08 +0000},
	Date-Modified = {2012-05-11 08:08:19 +0000},
	Volume = {705},
	Ee = {http://ceur-ws.org/Vol-705/paper13.pdf},
	Pages = {96-103},
	Publisher = {CEUR-WS.org},
	Read = {1},
	Title = {{Internal Behavior Reduction for Partner Synthesis}},
	Year = {2011}}


@article{martens:2003,
	Author = {Axel Martens},
	Date-Added = {2009-10-28 11:05:49 +0100},
	Date-Modified = {2012-05-11 09:01:38 +0000},
	Journal = {Petri Net Newsletter},
	Pages = {12--20},
	Title = {{On Compatibility of Web Services}},
	Volume = {65},
	Year = {2003}}

@inproceedings{polyvyanyy:2009,
  author    = {Artem Polyvyanyy and
               Sergey Smirnov and
               Mathias Weske},
  title     = {The Triconnected Abstraction of Process Models},
  booktitle = {BPM},
  year      = {2009},
  pages     = {229-244},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03848-8_16},
  crossref  = {DBLP:conf/bpm/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/bpm/2009,
  title     = {Business Process Management, 7th International Conference,
               BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings},
  booktitle = {BPM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5701},
  year      = {2009},
  isbn      = {978-3-642-03847-1},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03848-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{workflowpatterns,
 author = {Van Der Aalst, W. M. P. and Ter Hofstede, A. H. M. and Kiepuszewski, B. and Barros, A. P.},
 title = {Workflow Patterns},
 journal = {Distrib. Parallel Databases},
 issue_date = {July 2003},
 volume = {14},
 number = {1},
 month = jul,
 year = {2003},
 issn = {0926-8782},
 pages = {5--51},
 numpages = {47},
 url = {http://dx.doi.org/10.1023/A:1022883727209},
 doi = {10.1023/A:1022883727209},
 acmid = {640516},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 keywords = {control flow, expressive power, pattern, suitability, workflow},
}


@misc{bpmn20,
	Author = {{Object Management Group}},
	Date-Added = {2009-12-07 11:33:43 +0100},
	Date-Modified = {2010-01-27 16:08:14 +0100},
	Title = {{Business Process Model and Notation (BPMN) Specification, Version 2.0}},
	Year = {2009}}
	
@inproceedings{bobrik:2005,
	Author = {Ralph Bobrik and Manfred Reichert and Thomas Bauer},
	Booktitle = {BPMPM'05/DEXA'05},
	Pages = {948--954},
	Publisher = {IEEE Computer Society Press},
	Title = {{Requirements for the Visualization of System-Spanning Business Processes}},
	Year = {2005}}
	
@article{mutschler:2006,
        Address = {Potsdam},
        Author = {B. Mutschler and M.U. Reichert},
        Date-Added = {2010-04-16 10:59:57 +0200},
        Date-Modified = {2010-04-16 11:00:01 +0200},
        Journal = {EMISA Forum},
        Month = {January},
        Number = {1},
        Pages = {27--31},
        Publisher = {Gesellschaft f\"ur Informatik e.V. (GI)},
        Title = {Aktuelles Schlagwort: Business Process Intelligence},
        Url = {http://doc.utwente.nl/66218/},
        Volume = {26},
        Year = {2006}}	
        
@article{dahanayake:2011,
        Acmid = {1897280},
        Address = {Inderscience Publishers, Geneva, SWITZERLAND},
        Author = {Dahanayake, Ajantha and Welke, Richard J. and Cavalheiro, Gabriel},
        Date-Added = {2011-04-26 08:27:05 +0200},
        Date-Modified = {2011-04-26 08:28:06 +0200},
        Doi = {http://dx.doi.org/10.1504/IJBIS.2011.037294},
        Issn = {1746-0972},
        Issue = {1},
        Issue_Date = {December 2011},
        Journal = {Int. J. Bus. Inf. Syst.},
        Keywords = {BAM systems, ERP, business activity monitoring, business information systems, business intelligence, business operations, business processes, classification criteria, comparative analyses, critical performance indicators, decision making, decision support, definitional models, effectiveness, enterprise resource planning, event monitoring, formal standards, improvements, operational performance, perception, real\&\#45;time, responsiveness, significant impacts, speed, system selection, theoretical models, understanding},
        Month = {December},
        Numpages = {26},
        Pages = {1--26},
        Publisher = {Inderscience Publishers},
        Title = {{Improving the understanding of BAM technology for real-time decision support}},
        Url = {http://dx.doi.org/10.1504/IJBIS.2011.037294},
        Volume = {7},
        Year = {2011}}
        
@article{grigori:2004,
        Abstract = { Business Process Management Systems (BPMSs) are software platforms that support the definition, execution, and tracking of business processes. BPMSs have the ability of logging information about the business processes they support. Proper analysis of BPMS execution logs can yield important knowledge and help organizations improve the quality of their business processes and services to their business partners. This paper presents a set of integrated tools that supports business and IT users in managing process execution quality by providing several features, such as analysis, prediction, monitoring, control, and optimization. We refer to this set of tools as the Business Process Intelligence (BPI) tool suite. Experimental results presented in this paper are very encouraging. We plan to investigate further enhancements on the BPI tools suite, including automated exception prevention, and refinement of process data preparation stage, as well as integrating other data mining techniques.},
        Author = {Daniela Grigori and Fabio Casati and Malu Castellanos and Umeshwar Dayal and Mehmet Sayal and Ming-Chien Shan},
        Biburl = {http://www.bibsonomy.org/bibtex/26c4a92e5565321272618cead4fdc9402/msn},
        Date-Added = {2010-04-16 10:44:50 +0200},
        Date-Modified = {2011-03-29 11:31:42 +0200},
        Doi = {10.1016/j.compind.2003.10.007},
        File = {grigori04bpi.pdf:cites\\procminer\\grigori04bpi.pdf:PDF},
        Interhash = {1d68a3314a218171d65e7be97ba8f92d},
        Intrahash = {6c4a92e5565321272618cead4fdc9402},
        Journal = {Computers in Industry},
        Keywords = {research.bizInt.bpm cites.pclass research.mining cites.procm},
        Month = {April},
        Number = 3,
        Pages = {321--343},
        Rating = {3},
        Read = {1},
        Title = {Business Process Intelligence},
        Url = {http://dx.doi.org/10.1016/j.compind.2003.10.007},
        Volume = 53,
        Year = 2004}
        
@article{azvine:2006,
		author = {Azvine, B. and Cui, Z. and Nauck, D.D. and Majeed, B.},
		file = {:Users/nicoherzberg/Dropbox/Papers/architetturaBT.pdf:pdf},
		isbn = {0-7695-2511-3},
		journal = {IEEE CEC/EEE'06},
		pages = {29--29},
		publisher = {Ieee},
		title = {{Real Time Business Intelligence for the Adaptive Enterprise}},
		url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=1640284},
		year = {2006}
}

@inproceedings{melchert:2004,
		Address = {New York},
		Author = {Melchert, Florian and Winter, Robert and Klesse, Mario and Romano, Nicholas C. Jr.},
		Booktitle = {AMCIS'04},
		Date-Added = {2012-01-17 15:47:40 +0000},
		Date-Modified = {2012-01-17 15:47:40 +0000},
		Journal = {AMCIS 2004},
		Pages = {4053--4063},
		Publisher = {Association for Information Systems},
		Title = {Aligning Process Automation and Business Intelligence to Support Corporate Performance Management},
		Ty = {CONF},
		Url = {http://www.alexandria.unisg.ch/Publikationen/66514},
		Year = {2004},
		Bdsk-Url-1 = {http://www.alexandria.unisg.ch/Publikationen/66514}}

@article{del:2010,
  		title={Defining process performance indicators: an ontological approach},
 		author={Del-R{\'\i}o-Ortega, A. and Resinas, M. and Ruiz-Cort{\'e}s, A.},
 		journal={On the Move to Meaningful Internet Systems: OTM 2010},
  		pages={555--572},
  		year={2010},
  		publisher={Springer}
}

@article{bobrik:2008,
		author = {Bobrik, Ralph},
		isbn = {9783899637786},
		title = {{Konfigurierbare Visualisierung komplexer Prozessmodelle}},
		url = {http://dbis.eprints.uni-ulm.de/750/},
		year = {2008}
}

@article{rinderle:2004,
		author = {Rinderle, Stefanie and Bobrik, Ralph and Reichert, Manfred and Bauer, Thomas},
		pages = {204--211},
		title = {{Business Process Vizualization - Use Cases, Challenges, Solutions}},
		year = {2004}
}


@article{aalst:1998,
	Annote = {definition soundness},
	Author = {Wil M. P. van der Aalst},
	Date-Added = {2009-10-28 10:51:59 +0100},
	Date-Modified = {2009-10-30 10:02:39 +0100},
	Interhash = {36b4c6369d02458e7f0941673b0c8227},
	Intrahash = {8636a48ac7d25c06ea9e200a9a27bd3a},
	Journal = {Journal of Circuits, Systems, and Computers},
	Number = {1},
	Pages = {21-66},
	Read = {No},
	Title = {{The Application of Petri Nets to Workflow Management.}},
	Volume = {8},
	Year = {1998}}
	
	
@book{aalst:2004a,
	Address = {Cambridge, MA, USA},
	Author = {van der Aalst, Wil and van Hee, Kees},
	Date-Added = {2012-07-25 08:31:00 +0000},
	Date-Modified = {2012-07-25 08:31:27 +0000},
	Isbn = {0262720469},
	Publisher = {MIT Press},
	Title = {{Workflow Management: Models, Methods, and Systems}},
	Year = {2004}}

	@inproceedings {Wagner:2011a,
	    author = {Sebastian Wagner and Oliver Kopp and Frank Leymann},
	    title = {{Towards Choreography-based Process Distribution In The Cloud}},
	    booktitle = {Proceedings of the 2011 IEEE International Conference on Cloud Computing and Intelligence Systems},
	    address = {Bejing, China},
	    publisher = {IEEE Xplore},
	    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
	    pages = {490--494},
	    type = {Conference Paper},
	    month = {September},
	    year = {2011},
	    doi = {10.1109/CCIS.2011.6045116},
	    language = {English},
	    cr-category = {H.4.1 Office Automation,
	                   H.5.3 Group and Organization Interfaces},
	    contact = {sebastian.wagner@iaas.uni-stuttgart.de},
	    department = {University of Stuttgart, Institute of Architecture of Application Systems},
	    abstract = {Choreographies provide means to describe collaborations. Each partner runs its
	      own processes. To reduce the amount of data exchanged and to save resources,
	      part of the choreography can be run on a community cloud. We show how private
	      parts of a choreography can still be run on-premise and how non-private parts
	      can be merged to make use of the cloud infrastructure.},
	    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-58&engl=1}
	 }	

	 @inproceedings{muehlen:2011,
	   editor    = {Michael zur Muehlen and Jianwen Su},
	   booktitle = {Business Process Management Workshops},
	   publisher = {Springer},
	   location  = {Heidelberg},
	   series    = {Lecture Notes in Business Information Processing},
	   volume    = {66},
	   year      = {2011},
	   isbn      = {978-3-642-20510-1},
	   author    = {Tobias Unger and Sebastian Wagner},
	   title     = {Collaboration Aspects of Human Tasks},
	   pages     = {579--590}
	}

